# The rule that infer the probable marriage using simple tuple form 
# and supposing information initially decomposed on triples.
[
	{?s a {_ Person}}
	{?s {_ hasFName} ?fname}
	{?s {_ hasLName} ?lname}
	{?s {?onto hasFriend} ?sf}
	{?s {_ hasGender} ?gender}
	{?s {_ hasAge} ?age}
] ->
	assert {person ?s ?fname ?lname ?gender ?age ?sf}.
	
#
[
	{person ?id ?fname ?lname ?gender ?age ?fr-id}
	{person ?fr-id ?fname1 ?lname1 ?gender1 ?age1 _}
] when ?age-?age1>=5 ->
	assert {possible-marriage ?id ?fr-id}.